Formal methods for future interoperability

islanding detection methods for microgrids

امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...

Future Directions for Ifc-based Interoperability

Interoperability is one of the major themes of research and development in information technology for the architecture, engineering, construction, and facilities management industries. A model-based approach to interoperability requires information structures that are standardized throughout the industry. The Industry Foundation Classes have been developed to provide this data exchange standard...

Abstract Interpretation Based Formal Methods and Future Challenges (Electronic Version)

Interpretation Based Formal Methods and Future Challenges (Electronic Version)

Abstract Interpretation Based Formal Methods and Future Challenges

Interpretation Based Formal Methods and Future Challenges

From Formal Methods to Software Components: Back to the Future?